\begin{tabbing}
w\_sends($e$;$l$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=sends(product{-}deq(Id;$\mathbb{N}$;IdDeq;NatDeq);IdLnkDeq;$\lambda$$e$.w{-}pred($w$;$e$);$\lambda$$e$.w{-}info($w$;$e$);$\lambda$$e$.\+
\\[0ex]val($e$);1of(TERMOF\{w{-}order{-}axioms:ObjectId, 1:l, i:l\}($w$,$p$));$e$;$l$)
\-
\end{tabbing}